FlatDomInequality-1.agda:10,5-6
A → A !=< A → A because one is a non-flat function type and the
other is a flat function type
when checking that the expression g has type A → A
